package mop.domain.resource;

import mop.exception.IllegalDescriptionException;

/**
 * At the moment no other functionality than Resource.
 * 
 * @invar 	description is valid.
 *  		|hasValidDescription()
 * 
 * @author 	MOP Team 7
 */
public class Tool extends Resource 
{
	/**
	 * Creates a Tool.
	 * 
	 * @param 	description
	 *  		The description of the tool.
	 *  
	 * @effect 	Set the description.
	 *       
	 * @throws 	IllegalDescriptionException
	 * 			if the description isn't a non-empty string.
	 * 			|!isValidDescription(description)
     *       
	 */
	public Tool(String description) 
		throws IllegalDescriptionException
	{
		super(description);
	}
}